Spiking Neural P systems and Petri nets
نویسندگان
چکیده
Spiking Neural P (SN P) system characterizes the movement of spikes among the neurons. Spikes have a similarity with tokens in Petri net where tokens (like spikes) are moved through net according to specific rules. This paper proposes the concept of spiking Petri nets, which are isomorphic to spiking neural P systems. It also gives algorithms to construct spiking Petri net for SN P system and vice versa. The Spiking Petri net combines the modeling capabilities of coloured and timed Petri net concepts with the new orientation of SN P system. Examples are given illustrating the way in which the spiking Petri net can be employed to simulate the behaviour of SN P system.
منابع مشابه
Protocol Modeling in Spiking Neural P systems and Petri nets
In this paper we present the relation between Spiking Neural P (SN P) systems and Petri nets by focusing on modeling simplex stop-and-wait protocol. The SN P system for the protocol is constructed and also translated it into equivalent Petri net with a corresponding semantics. It is then observed a direct correspondence between the Petri net representation of the proposed model and standard sol...
متن کاملRepresentation of Spiking Neural P Systems with Anti-spikes through Petri Nets
Spiking Neural P(SN P) system with anti-spikes uses two types of objects called spikes and anti-spikes which can encode binary digits in a natural way. We propose a formal method based on Petri nets, which provides a natural and powerful framework to formalize SN P systems with anti-spikes. This enables the use of existing tools for Petri nets to study the computability and behavioural properti...
متن کاملModelling and analysis of spiking neural P systems with anti-spikes using Pnet lab
Petri Nets are promising methods for modelling and simulating biological systems. Spiking Neural P system with anti-spikes (SN PA systems) is a biologically inspired computing model that incorporates two types of objects called spikes and anti-spikes thus representing binary information in a natural way. In this paper, we propose amethodology to simulate SN PA systems using a Petri net tool cal...
متن کاملModelling Spiking Neural Activities of Brain with Object Oriented Petri nets
We propose object-oriented Petri nets for effective modelling of spiking concept of neurons. Brain is the central part of nervous system and neurons are one-membrane cells, which work concurrently to process information from sensory organs. Modelling neurons provides precise and exact ways of expression, which allow us to go beyond the insights that intuitive or commonsense reasoning alone, can...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کامل